مرز (توپولوژی)

مجموعه ای (به رنگ آبی روشن) و مرزش (به رنگ آبی تیره)

در توپولوژی و ریاضیات در حالت کلی، مرز (به انگلیسی: Boundary) زیرمجموعه‌ای چون $S$ از فضای توپولوژی $X$، مجموعه‌ای از نقاطی اند که می‌توان هم از $S$ و هم خارج از $S$ به آن‌ها نزدیک شد. به‌طور دقیق‌تر، مجموعه‌ای از نقاط در بستار $S$ که به درون $S$ تعلق ندارند. عنصری از مرز $S$ را نقطه مرزی $S$ نامند. اصطلاح عملیات مرزی، به یافتن یا گرفتن مرز یک مجموعه اشاره دارد. نمادهای به کار رفته برای مرز یک مجموعه چون $S$، شامل این موارد اند: $\operatorname {bd} (S)$ و $\partial {S}$ و $\operatorname {fr} (S)$. برخی از مؤلفان (مثل ویلارد، در کتاب توپولوژی عمومی خود)، از اصطلاح frontier به جای boundary برای این مفهوم استفاده می‌کنند تا از اشتباه شدن آن با مفهوم متفاوتی با همین نام که در توپولوژی جبری و نظریه منیفلدها استفاده می‌گردد، اجتناب شود. با وجود پذیرش وسیع اصطلاحات مذکور، اما برخی مواقع دیده شده که برای مفاهیم متفاوتی نیز به کار می‌روند. به عنوان مثال، فضاهای متریک اثر E. T. Copson، از اصطلاح مرز جهت ارجاع به اصطلاح border متعلق به هاسدورف استفاده شده که به صورت اشتراک یک مجموعه با مرز خود تعریف می‌گردد. همچنین هاسدورف اصطلاح مانده یا residue را معرفی نمود که آن را به صورت اشتراک یک مجموعه و بستار مرز متممش تعریف می‌نمود.

مؤلفه مرزی $S$ را مؤلفه مرزی $S$ می‌نامند.

ارجاعات

• مشارکت‌کنندگان ویکی‌پدیا. «Boundary (Topology)». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۹ مهٔ ۲۰۲۱.

برای مطالعه بیشتر

• Munkres, J. R. (2000). Topology. Prentice-Hall. ISBN 0-13-181629-2.
• Willard, S. (1970). General Topology. Addison-Wesley. ISBN 0-201-08707-3.
• van den Dries, L. (1998). Tame Topology. ISBN 978-0-521-59838-5.